case class Fix[F[_]](x: F[Fix[F]])